<html>
<body>
Reports <b>for</b> or <b>while</b> statements whose
bodies are guaranteed to execute at most once. Normally, this is an indication of a bug.
</body>
</html>
